Channel abstractions for network security
نویسندگان
چکیده
منابع مشابه
Channel abstractions for network security
Process algebraic techniques for distributed systems are increasingly being targeted at identifying abstractions adequate both for high-level programming and specification, and for security analysis and verification. Drawing on our earlier work in (Bugliesi and Focardi, 2008), we investigate the expressive power of a core set of security and network abstractions that provide high-level primitiv...
متن کاملAbstractions for Security Protocol Verification
ions for Security Protocol Verification Binh Thanh Nguyen and Christoph Sprenger Institute of Information Security, ETH Zurich, Switzerland {thannguy,sprenger}@inf.ethz.ch Abstract. We present a large class of security protocol abstractions with the aim of improving the scope and efficiency of verification tools. We propose typed abstractions, which transform a term’s structure based on its typ...
متن کاملNetwork Abstractions for Wireless Network Applications
Many networked applications include provisions to adapt their behavior or functionality to best use the available computing and networking resources. These applications use one or more environment parameters to perform adaptation. Adaptive systems are already recognized as important in the world of (managed) local and wide area networks. Because of the broader range of environment factors encou...
متن کاملAutomated Abstractions for Patrolling Security Games
Recently, there has been a significant interest in studying security games to provide tools for addressing resource allocation problems in security applications. Patrolling security games (PSGs) constitute a special class of security games wherein the resources are mobile. One of the most relevant open problems in security games is the design of scalable algorithms to tackle realistic scenarios...
متن کاملSecure Implementation of Channel Abstractions
Communication in distributed systems often relies on useful abstractions such as channels, remote procedure calls, and remote method invocations. The implementations of these abstractions sometimes provide security properties, in particular through encryption. In this paper we study those security properties, focusing on channel abstractions. We introduce a simple high-level language that inclu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2010
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129509990247